1. Theory and applications of satisfiability testing : 6th international conference, SAT 2003, Santa Margherita Ligure, Italy, May 5-8 2003 : selected revised papers
پدیدآورنده : Enrico Giunchiglia, Armando Tacchella )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Propositional calculus,Congresses ، Decision making,Congresses ، Computer algorithms
رده :
QA
76
.
L28
Vol
.
2919